non-expansive operator

非扩张算子